DEFINITION MODULE Menus;

PROCEDURE CH():BOOLEAN;
                 (* Ist CH = TRUE, so wird 6 die beste Note, sonst ist
                  * 1 die beste
                  *)

PROCEDURE RefreshSpielerMenu(): BOOLEAN;

END Menus.

